<?php
function foo() {
    $v = 1;
    //ERROR:
    if ($v > 2)
        return 1;
}
?>
